#ifndef WULC_DILITHIUM_NTT_H_
#define WULC_DILITHIUM_NTT_H_

#include <stdint.h>
#include "params.h"

/*============================================================================*/
/* Macro definitions                                                          */
/*============================================================================*/

#define ntt DILITHIUM_NAMESPACE(_ntt)
#define invntt_tomont DILITHIUM_NAMESPACE(_invntt_tomont)

/*============================================================================*/
/* Function definitions                                                        */
/*============================================================================*/

#ifdef __cplusplus
extern "C"
{ /* start of __cplusplus */
#endif

void ntt(int32_t a[N]);
void invntt_tomont(int32_t a[N]);

#ifdef __cplusplus
} /* end of __cplusplus */
#endif


#endif //WULC_DILITHIUM_NTT_H_
